workspacesView: remove unused variables

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index bd2734a27ef9aa11fb94129a80ed7789763c6e60..78a1c8104aac0eeafa22cd6e0a158aa9e3e655d4 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -483,7 +483,6 @@ var WorkspacesDisplay = class {
         this._primaryIndex = Main.layoutManager.primaryIndex;
 
         this._workspacesViews = [];
-        this._primaryScrollAdjustment = null;
         switchGesture.enabled = this.actor.mapped;
 
         this._settings = new Gio.Settings({ schema_id: MUTTER_SCHEMA });
@@ -491,8 +490,6 @@ var WorkspacesDisplay = class {
                                this._workspacesOnlyOnPrimaryChanged.bind(this));
         this._workspacesOnlyOnPrimaryChanged();
 
-        this._switchWorkspaceNotifyId = 0;
-
         this._notifyOpacityId = 0;
         this._restackedNotifyId = 0;
         this._scrollEventId = 0;